(define a1 (and #t #t #t #f))
(define a2 (and #t #t #f #t))
